What is non deterministic finite automata with example

What combines inductive methods with the power of first order representations?

Which model is best suitable in software development